compose (contramap f) pred_to_str = compose pred_to_str (contramap f)
